سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلال ها و قضایای منطق را ثابت می کند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی می نامند. این سیستم که تقریرهای مختلف و متعددی دارد به خاطر مشکلاتی که سیستم های اصل موضوعی(که در اوخر قرن نوزدهم و اوایل قرن بیستم توسط فرگه و راسل وایتهد ابداع شده بود...

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

روش متداول برای پیش بینی مصرف گازطبیعی استفاده ازداده های سالهای گذشته است. ولی اکنون به خاطرحذف یارانه ها و افزایش قیمت انرژی نمی توان مصرف گاز را با استفاده از داده های سالهای گذشته پیش بینی کرد، دراین پایان نامه از روش نوینی برای پیش بینی میزان مصرف گاز استفاده می شود. بدین صورت که برای پیش بینی میزان گاز مصرفی خانگی و میزان گاز مصرفی صنعتی به ترتیب از سیستم فازی takagi-sugeno، وسیستم استنتا...

منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شی...

منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شی...

مقادیر ضریب تراکم پذیری و ویسکوزیته گاز طبیعی در محاسبات مهندسی نفت و شیمی بسیار مهم می باشند. اندازه گیری خواص گاز طبیعی در لوله های گاز، سیستم های ذخیره گاز و مخازن گازی نیازمند در دسترس بودن مقادیر دقیق ضریب تراکم پذیری و ویسکوزیته گاز طبیعی می باشد. اندازه گیری آزمایشگاهی دقیق ترین روش برای پیش بینی این خواص می باشد، اما بسیار پرهزینه و زمان بر می باشد. محققان به دنبال روشی سریع و دقیق برای...

وجود ترک در سازه، موجب نرمی محلی و تغییر در خواص سختی و رفتار دینامیکی سازه می شود. رفتار دینامیکی سازه دارای ترک، به عمق و مکان ترک بستگی دارد؛ از این رو می توان برای شناسایی عمق و مکان ترک از تغییرات رفتار دینامیکی سازه ناشی از ترک، استفاده نمود. در این مقاله ابتدا سه فرکانس طبیعی اول یک تیر یکسردرگیر که یک ترک سطحی باز برای ده عمق ترک مختلف و برای سی مکان مختلف در آن ایجاد شده است، با استفاد...